241. Logic programming and nonmonotonic reasoning : 8th International Conference, LPNMR 2005, Diamante, Italy, September 5-8, 2005 : proceedings
المؤلف: Chitta Baral... ]et al.[ )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
3662
242. Logic programming and nonmonotonic reasoning : 5th International Conference, LPNMR'99, El Paso, Texas, USA, December 2-4, 1999 : proceedings
المؤلف: Michael Gelfond, Nicola Leone, Gerald Pfeifer )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1730
243. Logic programming and nonmonotonic reasoning : 7th international conference, LPNMR 2004, Fort Lauderdale, FL, USA, January 6-8, 2004 : proceedings
المؤلف: Vladimir Lifschitz, Ilkka Niemela )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2923
244. Logic programming and nonmonotonic reasoning : 6th international conference, LPNMR 2001, Vienna, Austria, September 17-19, 2001 : proceedings
المؤلف: Thomas Eiter, Wolfgang Faber, Miroslaw Truszczynski )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming,Congresses ، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
2173
245. Logic programming and soft computing
المؤلف: / edited by T.P. Martin and F. Arcelli Fontana
المکتبة: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع: Logic programming,Soft computing
رده :
QA76
.
63
.
L63234
1998
246. Logic programming and soft computing
المؤلف: edited by T.P. Martin, F. Arcelli Fontana
المکتبة: (سمنان)
موضوع: ، Logic programming,، Soft computing
رده :
QA
76
.
63
.
L63
247. Logic programming : formal methods and practical applications
المؤلف: edited by Christoph Beierle, Lutz Plumer
المکتبة: (طهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
L63294
1995
248. Logic programming in action: Second international Logic programming summer school, LPSS'92: proceedings
المؤلف: G. Comyn, N.E. Fuchs, M. Ratcliffe )eds.(
المکتبة: (طهران)
موضوع: Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
636
249. Logic programming in action; Second international logic programming Summer School, LPSS'92, Zurich, Switzerland, September 7-11, 1992: Proceedings
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L66
1992
250. Logic programming, knowledge representation, and nonmonotonic reasoning
المؤلف: [edited by]& Marcello Balduccini, Tran Cao Son
المکتبة: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع:
251. Logic programming, knowledge representation, and nonmonotonic reasoning :
المؤلف: Marcello Balduccini, Tran Cao Son (eds.)
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Gelfond, Michael,Logic programming,Nonmonotonic reasoning
252. Logic programming '88: proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988
المؤلف:
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Logic programming-- Congresses
رده :
QA
76
.
63
.
L63
1989
253. Logic programming with Prolog /
المؤلف: Max Bramer
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA76
.
63
254. Logical foundations for cognitive agents :
المؤلف: Hector J. Levesque, Fiora Pirri (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer logic.,Intelligent agents (Computer software)
رده :
QA76
.
9
.
L63
H438
1999
255. Logics in AI : European Workshop JELIA'90, Amsterdam, the Netherlands, September 10-14, 1990 :proceedings
المؤلف: J. Van Eijck )ed.(
المکتبة: (طهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic programming,Data processing -- Congresses ، Semantics,Congresses ، Logic, Symbolic and mathematical,Congresses ، Nonclassical mathematical logic
رده :
QA
76
.
L28
Vol
.
478
256. Logics in AI : European Workshop JELIA '90, Amsterdam, the Netherlands, September 10-14, 1990, proceedings
المؤلف: European Workshop JELIA '09, )0991, Amsterdam, Netherlands(
المکتبة: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع: ، Artificial intelligence-- Congresses,، Logic programming-- Congresses,، Semantics-- Data processing-- Congresses,، Logic, Symbolic and mathematical-- Congresses,، Nonclassical mathematical logic-- Congresses
رده :
Q
334
.
E985
1990
257. Logics in artificial intelligence :
المؤلف: Francesco Calimeri, Nicola Leone, Marco Manna (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Logic, Symbolic and mathematical, Congresses.,Artificial intelligence.,Logic, Symbolic and mathematical.
رده :
Q334
258. Logics in artificial intelligence :
المؤلف: José Júlio Alferes, Luís Moniz Pereira, Ewa Orlowska, (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.,Computer science -- Congresses.
259. MICAI 2002 :
المؤلف: Carlos A. Coello Coello [and others], (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence -- Congresses.,Artificial intelligence.
260. Machine Learning:
المؤلف: edited by Pavel B. Brazdil.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial Intelligence (incl. Robotics),Artificial intelligence.,Computer science.
رده :
Q325
.
5
E358
1993
